Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
581	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
582	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
583	FAA Policy: Unmanned Aircraft Systems (UAS) Certification Status Add to Reading List Source URL: www.faa.gov Language: English - Date: 2014-07-23 10:45:25 Special Airworthiness Certificate Unmanned aerial vehicle Airworthiness Civil aviation authorities Aviation Type certificate Air Traffic Organization
584	Internal Discussion Document Possible extensions to the Systems Biology Markup Language Andrew Finney ERATO Kitano Systems Biology Workbench Development Group Add to Reading List Source URL: sbml.org Language: English - Date: 2008-03-03 16:56:46 SBML Systems biology Technical communication Attribute Array data type HTML element XML Array Computing Markup languages Acronyms
585	Conversion of TEX fonts into Type 1 format ´ter Szabo ´∗ Pe Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-05 12:04:38 Application software Typesetting Donald Knuth Adobe Systems PostScript Metafont PostScript fonts Computer Modern FontForge Typography Computing Digital typography
586	MATERIAL SAFETY DATA SHEET 1. PRODUCT AND COMPANY IDENTIFICATION Product Name: AzaGuard®, Product Type: Biopesticide/Insecticide Manufacturer: BioSafe Systems LLC 22 Meadow Street Add to Reading List Source URL: florawww.eeb.uconn.edu Language: English - Date: 2015-01-30 11:23:01 Superfund Dangerous goods Safety Prevention Environment Toxicology Globally Harmonized System of Classification and Labelling of Chemicals Tempo 20 wp United States Environmental Protection Agency Hazardous waste 96th United States Congress
587	☐ NEW ☐ EXISTING CUSTOMER ☐ CEASE ☐ CHANGE REQUEST TYPE: ☐ PERSONAL ☐ BUSINESS Wireless Postpaid Services Offering Add to Reading List Source URL: files.btcbahamas.com Language: English - Date: 2013-12-19 15:33:12 Credit card Prepaid mobile phone 4G Invoice Internet access Payment systems Verizon Wireless LightSquared Technology Mobile technology Roaming
588	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
589	Peter Baumann Object-Oriented or Object-Relational? An Experience Report from a High-Complexity, Long-Term Case Study Add to Reading List Source URL: www.faculty.jacobs-university.de Language: English - Date: 2012-06-12 07:38:13 Object-oriented programming Database management systems Data types Database models Programming paradigms Object Data Management Group Array data type Object database Database Computing Software engineering Computer programming
590	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:56:08 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming

UPDATE